ГРАФОТРАНСФОРМАЦИОННЫЙ ПОДХОД К СИНТЕЗУ ФОРМАЛЬНЫХ МОДЕЛЕЙ СИСТЕМ
ФУНКЦИОНАЛЬНЫХ БЛОКОВ IEC 61499 

Дубинин Виктор Николаевич, кандидат технических наук, доцент кафедры вычислительной техники Пензенского государственного университета.
Вяткин Валерий Владимирович, доктор технических наук, профессор факультета электронных и компьютерных наук Оклендского университета (г. Окленд, Новая Зеландия).

004.4’244:004.434

Рассмотрен подход на основе преобразований графов для синтеза формальных моделей систем функциональных блоков IEC 61499. В качестве модельной формы предлагаются арифметические NCES-сети. Процесс синтеза представляется как поток моделей. С помощью метамоделей описываются языки представления систем функциональных блоков и модульных арифметических NCES-сетей на основе графов. Рассмотрены правила трансформации графов для некоторых этапов синтеза.

 Скачать статью в формате PDF

1. Function blocks for industrial-process measurement and control system. – Part 1: Architecture, International Electrotechnical Commission Geneva, 2005.
2. Vyatkin, V. Rapid engineering and re-configuration of automation objects using formal verification / V. Vyatkin V., H.-M. Hanisch, S. Karras, T. Pfeiffer, V. Dubinin // International Journal of Manufacturing Research. – 2006. – V. 1. – № 4. – P. 382–404. 
3. Hanisch, H.-M. Netz-Condition/Event-Systeme. 4. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA’95) / H.-M. Hanisch, M. Rausch. – Braunschweig, Mai 1995, Tagungsband. – S. 55–71.
4. Vyatkin, V. A Modeling Approach for Verification of IEC 61499 Function Blocks Using Net Condition/Event Systems / V. Vyatkin, H.-M. Hanisch // Emerging technologies and factory automation (ETFA’99) : IEEE Int. Conf. – 1999. – P. 261–270.
5. Pang, C. Towards Formal Verification of IEC61499: modelling of Data and Algorithms in NCES / C. Pang, V. Vyatkin // IEEE Int. Conf. on Industrial Informatics (INDIN’2007). – Vienna, 2007. – P. 879–884.
6. Lueder, A. Formal models for the verification of IEC 61499 function block based control applications / A. Lueder, C. Schwab, M. Tangermann, J. Peschke // Emerging technologies and factory automation (ETFA’2005) : IEEE Int. Conf. Catania. – 2005. – P. 105–112.
7. Ivanova-Vasileva, I. Transformation of IEC 61499 control systems to formal models / I. Ivanova-Vasileva, C. Gerber, H.-M. Hanisch // Automatics and Informatics (CAI`07). – Sofia. – 2007. – P. 5–10.
8. Sendall, S. Model transformation: The heart and soul of model-driven software development / S. Sendall, W. Kozaczynski // IEEE Software. Special Issue on Model- Driven Software Development. – 2003. – № 20 (5). – P. 42–45.
9. Ehrig, H. Fundamental theory for typed attributed graph transformation / H. Ehrig, U. Prange, G. Taenzer // Graph Transformation: 2nd Int. Conf. (ICGT 2004). Lecture Notes in Computer Science. – Springer-Verlag, 2004. – V. 3256. – P. 161–177.
10. Ду бинин, В. Н. Рефакторинг диаграмм управления выполнением стандарта IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2008. – № 2. – С. 16–25.
11. AGG Web-сайт http://tfs.cs.tu-berlin.de/agg                                                                                       12. Dubinin, V. Towards a Formal Semantics of IEC 61499 Function Blocks / V. Dubinin, V. Vyatkin // IEEE Int. Conf. on Industrial Informatics (INDIN’2006), Singapore. – 2006. – P. 6–11.